#!/bin/bash

STACK_FILE="../../src/stack/lockfree_stack.c"

echo "Analyzing stack implementation..."
vsyncer info $STACK_FILE

echo "Optimizing stack implementation..."
vsyncer optimize -A -1 $STACK_FILE

echo "Verifying optimization..."
vsyncer verify $STACK_FILE

echo "Running stack benchmarks..."
cd ../../
make
./build/tests/benchmark/bench_stack 